1. Automated reasoning: 33 Base research problems
پدیدآورنده: Larry Wos
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Automatic theorem proving,Artificial intelligence,Electronic digital computers- Programming
رده :
QA
،
76
.
9
،.
A96
,
W67
،
1988
2. Automated reasoning: introduction and applications
پدیدآورنده: )by( Larry Wos )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Automatic theorem proving,، Artificial intelligence,Programming ، Electronic digital computers
رده :
QA
76
.
9
.
A96
A93
1984
3. Control systems functions and programming approaches
پدیدآورنده : Chorafas, Dimitris N
موضوع : ، Automatic control,، Electronic digital computers
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. Digital and sampled-data control systems
پدیدآورنده: Tou, Julius T
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Automatic control,، Electronic digital computers,، Feed-back control systems
رده :
TJ
213
.
T6
5. Digital and sampled-data control systems
پدیدآورنده: / [by] Julius T. Tou
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Automatic control,Electronic digital computers,Feedback control systems
رده :
TJ
213
.
T6
6. Digital and sampled-data control systems
پدیدآورنده: / [by] Julius T. Tou
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Automatic control,Electronic digital computers,Feedback control systems
رده :
TJ
213
.
T6
7. Digital and sampled data control systems
پدیدآورنده: Tou, Julius T.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Automatic control,، Electronic digital computers,، Feedback control systems
رده :
TJ
213
.
T6
8. Digital computer fundamentals
پدیدآورنده: / Thomas C. Bartee
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Electronic digital computers,Automatic digital computers
رده :
TK7885
.
B317
1985
9. Digital & sampled data control systems
پدیدآورنده: TOU,TSU-LIEH
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: AUTOMATIC CONTROL , ELECTRONIC DIGITAL COMPUTERS , FEEDBACK CONTROL SYSTEMS
رده :
TJ
213
.
T6
10. Digitalrechner in technischen Prozesson
پدیدآورنده: Hotes, Helmut.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers,، Automatic Control
رده :
TJ
213
.
H64
11. Electronic data processing in practice: a handbook for users
پدیدآورنده: / M. Becker, R. Haberfellner, G. Liebetrau
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Electronic data processing,Automatic digital computers
رده :
QA76
.
9
.
D6B4
1989
12. Elsevier s dictionary of computers,automatic control & data
پدیدآورنده: CLASON,W E COMP
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ELECTRONIC DIGITAL COMPUTERS-DICTIONARIES , AUTOMATIC CONTROL-DICTIONARIES , ELECTRONIC DATA PROCESSING-DICTIONARIES
رده :
QA
76
.
5
.
E5
13. Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Functional programming )Computer science(-- Congresses,، Parallel programming )Computer science(-- Congresses,، Automatic theorem proving-- Congresses,، Computer simulation-- Congresses
رده :
QA
76
.
6
.
F853
1993
14. Networks and distributed computation: concepts, tools and algorithms
پدیدآورنده: / M. Raynal
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Electronic data processing- distributed processing,Automatic digital computers
رده :
QA76
.
9
.
D5R28
1987
15. #Reliability of computer and control systems
پدیدآورنده: #N. Viswanadham, V.V.S. Sarma, M.G. Singh
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Automatic control- Reliability ،Electronic digital computers- Reliability
رده :
#
TJ
،#.
V57
16. Software for computer control 1982: Proceedings of the Third IFAC/IFIP Symposium, Madrid Spain, 5-8 October 1982
پدیدآورنده: edited by G. Ferrate and E.A. Puente
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Data processing - Congresses ، Automatic control,Programming -- Congresses ، Electronic digital computers
رده :
TJ
212
.
2
.
I33
1983
